do
    let x = 123 in ()
    ()
